enum __attribute__ ((annotate ("an annotation"))) start {
  ev0 __attribute__ ((annotate ("an annotation")))
};
